Ty, który strącasz

CoALP-Ty'16

Type classes are an immensely popular andproductive feature of Haskell. They have since been adoptedin, and adapted to, numerous other languages, including the-orem provers. We show that type classes have a natural andefficient representation in .NET that paves the way for theextension of F#, C# and other .NET languages with typeclasses. Our encoding is type preserving a...

GENDtr,R AND SOCItr,TY

Does Contact Lead to Simi lar i ty or Simi lar i ty to Contact ? 1

Evidence from the Finnish Twin Registry (e.g., Rose et al., 1988) shows that adult monozygotic (MZ) twins are more similar, within pairs, in personality if the cotwins are presently cohabiting or in frequent contact than if they are seldom in contact. Results of a follow-up study led Kaprio et al. (1990) to conclude that "'changes in social contact between monozygotic cotwins precede (and causa...

Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n

We propose a lexical account of action nominals, in particular of deverbal nom-inalisations, whose meaning is related to the event expressed by their base verb. The literature about nominalisations often assumes that the semantics of the base verb completely defines the structure of action nominals. We argue that the information in the base verb is not sufficient to completely determine the sem...

Dest Ined for Equal I Ty